Programming correctness proof
[计] 程序正确性证明
🧩 词语组成解析
programming
['proɡræmɪŋ]
n. 规划，设计;编程;
v. 训练( programme的现在分词 );培养;预调;
[计] 正确性\\n[经] 正确性
proof
[pruf]
n. 证明;校样;检验;（酒的）标准酒精度;
adj. 防…的;抗…的;能抵御;能防范;
vt. 给（织物）做防护处理，使防水（或防火等）;印…的校样;
vi. [印刷术] 校对;发酵;
prob, prov Prob, prov= test, 表示”测试,证明, 检验”
🗣️ 情景例句
and lay them face down.
将牌盖住。
What is the total circulation of this newsletter.
这份新闻通讯总发行量多少？
Harry.
哈里。